int_1_summary 12,41
Integer inequalities, subtypes, and 
induction lemmas for subtypes.

origin